In recent years, bioethical discourse around the topic of ‘genetic enhancement’ has become increasingly politicized. We fear there is too much focus on the semantic question of whether we should call particular practices and emerging bio-technologies such as CRISPR ‘eugenics’, rather than the more important question of how we should view them from the perspective of ethics and policy. Here, we address the question of whether ‘eugenics’ can be defended and how proponents and critics of enhancement should engage with each (...) other. (shrink)

The need for global values in a globalised world is combined with the need for contextual identity. New nationalisms, protectionisms and fundamentalisms are mixed with a globalised pluralistic relativism. Are global values threatened by particular values? Find answers within the 32 articles of this book. In each of the articles the authors, who are all in one way or another linked to Globethics.net, writing from one of four continents, focus and develop on a particular value or virtue in a specific (...) geographic, cultural or religious context. Many of them also give an input to the understanding of the value-basis of the UN-Sustainable Development Goals SDGs and give orientation for “values-driven leadership”, a key vision and mission of Globethics.net. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

The essay aims at demonstrating that it is dangerous to try to reconstruct a philosophical doctrine taking into account solely or predominantly the analysis of vocabulary. This is particularly true of the philosophical doctrines of the ancients, who generally did not feel obliged to adopt a coherent and unambiguous technical terminology. Starting from the essay of F. Camera, Sui molteplici significati di hermeneia in Platone, which was published in 2004 and then re-edited in 2011 with few modifications but with a (...) different title, the author shows that the method of facing Plato’s hermeneutics through the ἑρμηνεύειν-words is a source of distortions and over-interpretations; that is, it causes excessive density and conceptual significance to be attributed to words used instead in their current meaning. One must remember, even if it should be well known to anyone who devotes himself to these themes, that not all words, expressions and concepts become philosophical entities only because they appear in the works of an author tagged “philosophy.”. (shrink)

The nuclear engineer emerged as a new form of recognised technical professional between 1940 and the early 1960s as nuclear fission, the chain reaction and their applications were explored. The institutionalization of nuclear engineering channelled into new national laboratories and corporate design offices during the decade after the war, and hurried into academic venues thereafter proved unusually dependent on government definition and support. This paper contrasts the distinct histories of the new discipline in the USA and UK (and, more briefly, (...) Canada). In the segregated and influential environments of institutional laboratories and factories, historical actors such as physicist Walter Zinn in the USA and industrial chemist Christopher Hinton in the UK proved influential in shaping the roles and perceptions of nuclear specialists. More broadly, I argue that the State-managed implantation of the new subject within further and higher education curricula was shaped strongly by distinct political and economic contexts in which secrecy, postwar prestige and differing industrial cultures were decisive factors. (shrink)

Known as the Darwin of the twenty-first century, the German biologist Ernst Walter Mayr (1904-2005) studied a great variety of subjects such as Ornithology, Genetics, Evolution, Classification, History, and Philosophy of Biology. This scientist was a giant of the previous century and an icon of Evolutionary Biology. He became famous for his Biological Species Concept and his conclusion that allopatry is the main cause for the origin of species. He provided a decisive contribution to the New Systematics and was (...) the pioneer of the punctuated equilibrium idea. Mayr was one of the main architects of the evolutionary synthesis as also of the Neo-Darwinian wave. Evaluated together, all of his works reveal several elements of his ambition – to organize a philosophical conception inherent for Biology. An assiduous defender of autonomous Biology, Mayr asserted that four sets of factors in Biology differ from those in the Exact Sciences: (I) refutation of essentialism, mechanism, vitalism, and teleology; (II) some physical principles cannot be applied to Biology; (III) absence of general laws in Biology; and (IV) basic principles of biology and their specific character cannot be applied to the inanimate world. The present study took as an axis a minor or even invisible theme from the Ernst Mayr literature and aims to analyze critically the theoretical and epistemological basis that subsidizes – or not– the affirmation that Biology is an autonomous Science. - O biólogo alemão Ernst Walter Mayr (1904-2005), conhecido como o Darwin do século XXI, trabalhou com uma grande variedade de temas: Ornitologia, Genética, Evolução, Classificação, História e Filosofia da Biologia. Esse cientista foi um dos gigantes do século XX e um ícone para a Biologia Evolutiva. Ficou famoso com o seu Conceito Biológico de Espécie e sua conclusão de que a alopatria era a principal causa da origem das espécies. Forneceu uma contribuição decisiva à Nova Sistemática, foi precursor da ideia de equilíbrio pontuado e um dos principais arquitetos da síntese evolutiva, bem como do movimento Neodarwinista. Quando avaliados em conjunto, seus trabalhos revelam os diversos elementos de sua ambição – organizar um corpo de concepções filosóficas próprias da Biologia. Defensor assíduo de uma Biologia autônoma, Mayr afirmou que há quatro conjuntos de fatores que diferenciam a Biologia do conjunto das Ciências Exatas: (I) refutação do essencialismo, do mecanicismo, do vitalismo e da teleologia; (II) convicção de que certos princípios da Física não podem ser aplicados à Biologia; (III) ausência de leis naturais universais em Biologia; e (IV) percepção do caráter único de certos princípios básicos da Biologia não aplicáveis ao mundo inanimado. O presente artigo tomou por eixo um tema aparentemente menor ou mesmo invisível na obra de Ernst Mayr e pretende realizar uma análise crítica acerca de suas bases teóricas e epistemológicas que subsidiaram – ou não – a afirmação da Biologia como uma Ciência autônoma. (shrink)

The norm of monogamy is pervasive, having remained widespread, in most Western cultures at least, in spite of increasing tolerance toward more diverse relationship types. It is also puzzling. People willingly, and often with gusto, adhere to it, yet it is also, prima facie at least, highly restrictive. Being in a monogamous relationship means agreeing to give up certain sorts of valuable interactions and relationships with other people and to severely restrict one’s opportunities for sex and love. It is this (...) restrictiveness which has led for calls among some philosophers for the justification of the norm, and some have argued that it cannot be justified. John McMurtry, for example, writing in 1972, compared monogamy to private property and argued that it serves the capitalist order (McMurtry 1972, 596–97). More recently, Harry Chalmers (2019) has argued that monogamy is morally impermissible. In this chapter we argue that rather than justify the norm, we ought to explain and understand its pervasiveness. Not everyone who follows the norm is doing so blindly, irrationally, or immorally. Indeed, many people are monogamous because being monogamous supports their needs and best enables them to flourish. We suggest that the human need for trust and attachment could underlie many people’s desires for monogamy and, therefore, explain monogamy’s pervasiveness. Focusing on the human need for trust and attachment security can also help us to understand why sexual infidelity can feel like such a betrayal. It can make sense to mutually agree to exclusivity in relationships, in spite of the apparent restrictions this brings. In a sense, not all restrictions are restrictive, because holding ourselves to limits on our behavior can in fact help us to invest in and experience the things we value most. (shrink)

Metaphilosophy, Volume 53, Issue 2-3, Page 221-237, April 2022.

Abstract This essay will take a look at the notion of state of exception, ausnahmezustand in german original version, comparing Walter Benjamin’s and Carl Schmitt’s two main books which are Critique of violence and political theology that were written such as a polemic one another. We will also take into consideration an alternative violence form such as a pure violence defined by Benjamin that could be revolutionary to change this schmittian state of exception.

In some cultures, people tend to believe that it is very important to be sexually exclusive in romantic relationships and idealise monogamous romantic relationships; but there is a tension in this ideal. Sex is generally considered to have value, and usually when we love someone we want to increase the amount of value in their lives, not restrict it without good reason. There is thus a call, not yet adequately responded to by philosophers, for greater clarity in the reasons §why (...) it might be reasonable for a couple to adopt a policy of sexual exclusivity. This article argues that we cannot justify the demand for sexual exclusivity by a need to protect the relationship from the risk of one partner ‘trading-up’, or by appealing to jealousy. However, sexual exclusivity can be intelligible if it supports the romantic relationship and helps to distinguish it from other relationships. Nonetheless, sexual exclusivity ought not to be the hegemonic social norm that it currently is in some societies because this diminishes the potential value it might have and gives the idea of faithfulness the wrong focus. (shrink)

Sexual infidelity is widespread, but it is also widely condemned, yet relatively little philosophical work has been done on what makes it wrong and how wrong it is. In this paper, I argue that sexual infidelity is wrong if it involves breaking a commitment to be sexually exclusive, which has special significance in the relationship. However, it is not necessarily worse than other kinds of infidelity, and the context in which it takes place ought to be considered. I finish the (...) paper by looking at how the hegemonic norm of monogamy makes infidelity both more likely and more difficult to deal with. (shrink)

Natasha McKeever argues that prima facie, a friends-with-benefits relationship can be, at the same time, a good friendship. This is because sex is compatible with friendship in that it can complement and potentially even strengthen the three core characteristics of friendship: mutual liking, mutual caring, and mutual sharing. She acknowledges that, by generating uncertainty and having the potential to generate feelings of romantic love, sex does pose risks to friendship. However, she argues that while these risks are significant considerations, (...) they can be mitigated and managed and so do not provide strong reasons against friends-with-benefits relationships. (shrink)

Harry Frankfurt has a comprehensive and, at times, compelling, account of love, which are outlined in several of his works. However, he does not think that romantic love fits the ideal of love as it ‘includes a number of vividly distracting elements, which do not belong to the essential nature of love as a mode of disinterested concern’. In this paper, I argue that we can, nonetheless, learn some important things about romantic love from his account. Furthermore, I will suggest, (...) conversely, that there is distinct value in romantic love, which derives from the nature of the relationship on which it is based. Frankfurt tries to take agape and reformulate it so that it can also account for love of particular people. Whilst he succeeds, to some extent, in describing parental love, he fails to accurately describe romantic love and friendship, and, moreover, overlooks what is distinctly valuable about them. Although it was not his intention to describe romantic love, by failing to include features such as reciprocity in his account of love, Frankfurt leaves no room for a kind of love that is important and valuable to many people. (shrink)

Are demands for equality motivated by envy? Nietzsche, Freud, Hayek, and Nozick all thought so. Call this the Envy Objection. For egalitarians, the Envy Objection is meant to sting. Many egalitarians have tried to evade the Envy Objection.. But should egalitarians be worried about envy? In this paper, I argue that egalitarians should stop worrying and learn to love envy. I argue that the persistent unwillingness to embrace the Envy Objection is rooted in a common misunderstanding of the nature of (...) the charge, what it reveals, and what can be said in response to it. I develop what Bernard Williams might call a vindicatory genealogy of envy, thereby allowing us to see that envy, rather than undermining egalitarian intuitions, can in fact play a distinct justificatory role (when it is fitting), which undermines the Envy Objection. (shrink)

A strong moral reason for prohibiting doping in sport is to be found in the bad choices that would be faced by clean athletes in a sporting world that tolerated doping. The case against doping is not, however, to be grounded in the concept of coercion. Instead, it is grounded in a general duty of sport to afford fair opportunity to the goods that are distinctively within sport's sphere of control. The moral reason to prohibit doping need not be balanced (...) against any autonomy claim of athletes who would prefer to dope because, upon closer examination, such claims have no force. The moral reason to prohibit doping does, however, need to be balanced against the enforcement costs imposed on all athletes by effective prohibition. (shrink)

Analytic philosophers increasingly make reference to the concept of ideology to think about how representational structures can lead to oppression, and argue that the distinctively pernicious functioning of things like propaganda and generic generalizations need to be explained in terms of ideology. The aim of this paper is two-fold. First, it aims to serve as an introduction to (some of) the best contemporary work on ideology in the analytic tradition. Second, it proposes a novel challenge for any such theory. The (...) challenge turns on the nature of intersectionality: it is hard to see how to render consistent the claims that ideology creates or sustains oppression with the claim that oppression is intersectional, without making substantial modifications to extant theories. The conclusion will be that certain projects in contemporary philosophy of language need to further develop their theories of ideology. (shrink)

An indeterminate version of Henry Sidgwick’s “Dualism of Practical Reason” may offer a solution to Derek Parfit’s “Repugnant Conclusion”. Here we will outline the problem of Sidgwick’s Dualism and how to resolve it within the framework of practical reason and the problem of Parfit’s Repugnance and why it is irresoluble within the framework of pure utilitarianism. Then we will argue how Sidgwick’s Dualism, under certain formulations of indeterminacy, specifically under those Indeterminacy Views advanced by David Phillips (and others), implies a (...) resolution to the Repugnant Conclusion that is both intuitive and simple, resolving Sidgwick’s Dualism and Parfit’s Repugnance in one conceptual move. (shrink)

In this chapter, I argue that we can make sense of moral norms against consensual, adult incest by appealing to the value of familial relationships and the potential for sex to damage them. Viewing sex as unconscionable between family members helps to enable the loving intimacy normally associated with family relationships. Therefore, there is good reason for incest, even when consensual and between adults, to remain taboo. That being said, I argue that there is insufficient legal justification for all consensual, (...) adult incest to be criminalised. I examine four potential arguments in favor of consensual, adult incest being illegal, and conclude that none of them succeeds in justifying a total legal prohibition against it. (shrink)

It is usually taken for granted that romantic relationships will be sexual, but it seems that there is no necessary reason for this, as it is possible for romantic relationships to not include sex. Indeed, sometimes sex is a part of a romantic relationship for only a relatively short period of it. Furthermore, scientific explanations of the link between sex and love don’t seem fully satisfying because they tell us only about the mechanics of sex, rather than its meaning or (...) phenomenology. Therefore, the question of why it is that the archetypal romantic relationship includes sex, calls for philosophical analysis, yet it has been under-explored in philosophy. In this paper, I attempt to remedy this. I argue that sex is important to romantic love because it partly constitutes, builds, and expresses four of the central goods of a romantic relationship: 1) pleasure, 2) union, 3) intimacy, and 4) vulnerability and care. Thus, sex can be, and often is, an important vehicle for romantic love, though it is not essential for it. (shrink)

In this chapter, Natasha McKeever and Luke Brunning consider (sexual) jealousy in romantic life. They argue that jealousy is best understood as an emotional response to the threatened loss of love or attention, to which one feels deserving, because of a rival. Furthermore, the general value of jealousy can be questioned, and jealousy’s instrumental value needs to be balanced against a range of potential harms. They assess two potential ways of managing jealousy (which are not mutually exclusive)—firstly by adopting (...) a policy of monogamy and secondly by engaging in emotional work. Neither of these methods is easy, and neither will solve jealousy altogether, but Brunning and McKeever argue that the second strategy should be taken more seriously. (shrink)

In Sascha Settegast’s recently published article, “Prostitution and the Good of Sex” in Social Theory and Practice, he argues that prostitution is intrinsically harmful. In this article, I object to his argument, making the following three responses to his account: 1) bad sex is not “detrimental to the good life”; 2) bad sex is not necessarily unvirtuous; 3) sex work is work as well as sex, and so must be evaluated as work in addition to as sex.

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

Este ha sido el mundo infantil – imposible y contradictorio – que sentimos habitar en este escrito, en esta escritura. En ese mundo, como ahora, el inicio y el final coinciden. En ese mundo, que Heráclito llamaría aión, es la infancia la que gobierna. Un gobierno infantil. Por lo tanto, es tiempo de callarnos. De estarnos sin tanta luz y sin tantas palabras. Para dormir y soñar. Es tiempo de terminar. O de comenzar. Los y las lectores infantiles (no) tienen (...) la palabra. Nosotros ya (no) la tenemos… (¡hipo!). (shrink)

Do the hard problem of consciousness and the simulation argument potentially resolve each other? Here we will argue for four possible views: that consciousness may be possible only (a) outside of, (b) inside and/or outside of, (c) inside of, or (d) interfacing with simulations. The first two of these views have been developed at length by David Chalmers and are used as jumping off points to introduce and develop the latter two views here. If any one of these views could (...) be proven true, it would simultaneously both support a kind of account of properties of consciousness and also provide a kind of sign as to whether or not we are indeed living in the kind of immersive computer simulation that Nick Bostrom hypothesizes about. However, given that none of these views are proven true but all are plausible, these considerations should tend to neutralize our credence that we are either simulated or not simulated, by themselves giving us no sign one way or the other. (shrink)

The limited aim here is to explain what John Dewey might say about the formulation of the grue example. Nelson Goodman’s problem of distinguishing good and bad inductive inferences is an important one, but the grue example misconstrues this complex problem for certain technical reasons, due to ambiguities that contemporary logical theory has not yet come to terms with. Goodman’s problem is a problem for the theory of induction and thus for logical theory in general. Behind the whole discussion of (...) these issues over the last several decades is a certain view of logic hammered out by Russell, Carnap, Tarski, Quine, and many others. Goodman’s nominalism hinges in essential ways on a certain view of formal logic with an extensional quantification theory at its core. This raises many issues, but the one issue most germane here is the conception of predicates ensconced in this view of logic. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

Volume 20, Issue 4, May 2020, Page 46-48.

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

Are living organisms--as Descartes argued--just machines? Or is the nature of life such that it can never be fully explained by mechanistic models? In this thought-provoking and controversial book, eminent geophysicist Walter M. Elsasser argues that the behavior of living organisms cannot be reduced to physico-chemical causality. Suggesting that molecular biology today is at the same point as Newtonian physics on the eve of the quantum revolution, Elsasser lays the foundation for a theoretical biology that points the way toward (...) a natural philosophy of organic life. Explicitly repudiating "vitalism" (the notion that the laws of nature need to be modified when applied to living organisms), Elsasser argues instead that the structural complexity of even a single living cell is "transcomputational"--that is, beyond the power of any imaginable system to compute. Beginning from this insight, Elsasser leads the reader through a step-by-step process that ultimately arrives at the conclusion that living and non-living matter are separated by "a no-man's land of irrationality." Trained in Germany as a physicist, Elsasser first pondered the implications of quantum mechanics for biology as early as 1951. The more closely he studied the inherent complexity of life, the more skeptical he became of the reductionist view of organisms as tiny machines. "An organism," he concluded, "is a source of causal chains which cannot be traced beyond a terminal point because they are lost in the unfathomable complexity of the organism." Like the physicist who works within the bounds of an unfathomable universe, Elsasser argues, the biologist must seek answers within a system that is no less unfathomable. (shrink)

Here we will argue that different kinds of friendships follow different kinds of scaling laws. First, we will review Aristotle’s three types of friendship. Second, we will review three different types of scaling laws. Third, we will show how the three types of friendship roughly map on to the three types of scaling laws. After this, we will discuss some of the consequences of the scaling laws of friendship. We hope that the use of these abstract scaling laws to describe (...) social values will convince computer programmers and policy makers to temper their would-be ambitions as social engineers. (shrink)

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting (...) to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

Attributions of certain speech-acts, like dog-whistling and wolf-crying, have an interesting complementary and antagonistic relationship that creates a kind of hostile dialectic and emergent divergence in political discourse. In the following, we will show how the wolf-cry and the dog-whistle are both epistemically difficult speech-acts to attribute, leading to asymmetric uncertainties in attribution. These uncertainties cause the attribution of wolf-cries and dog-whistles themselves to often be both reasonable but unconfirmable epistemic claims. Then, we will show how these patterns of attributions (...) can lead to a reciprocal dialectic of entrenched and self-amplifying dog-whistling versus wolf-crying, until an unhappy status quo is developed. This leads to a number of problems, including an epistemic standoff of standpoints, the attribution saturation of the political discourse, and a condition of self-defeating truth-seeking. Seemingly, the only surefire solution is a unanimous alleviation of such attributions, a standard that may seem insurmountable, though other options can be considered. (shrink)

This paper addresses what we consider to be the most pressing challenge for the emerging science of consciousness: the measurement problem of consciousness. That is, by what methods can we determine the presence of and properties of consciousness? Most methods are currently developed through evaluation of the presence of consciousness in humans and here we argue that there are particular problems in application of these methods to nonhuman cases—what we call the indicator validity problem and the extrapolation problem. The first (...) is a problem with the application of indicators developed using the differences between conscious and unconscious processing in humans to the identification of other conscious vs. nonconscious organisms or systems. The second is a problem in extrapolating any indicators developed in humans or other organisms to artificial systems. However, while pressing ethical concerns add urgency to the attribution of consciousness and its attendant moral status to nonhuman animals and intelligent machines, we cannot wait for certainty and we advocate the use of a precautionary principle to avoid causing unintentional harm. We also intend that the considerations and limitations discussed in this paper can be used to further analyze and refine the methods of consciousness science with the hope that one day we may be able to solve the measurement problem of consciousness. (shrink)

Diminishing Marginal Utility is widely accepted as a law of human action, and therefor has become one of the primary premises of ethics, economics, and politics. In popular parlance, “diminishing returns” has entered into the cliches of common sense; in philosophical argument, it has achieved the status of an axiomatic assumption; and indeed, in terms of personal experience or folk psychology, it seems to largely hold true for goods in general over a range of consumption. However, a theory of diminishing (...) marginal utility rests on some assumptions that we ignore at our peril. The a priori and a posteriori proofs of diminishing marginal utility, as developed by the Austrian economists like Ludwig von Mises and Hermann Heinrich Gossen, should be reassessed and critiqued from their fundamental principles to illuminate the theory’s pitfalls. Once these premises and their conclusions are not taken for granted, a more comprehensive and conscientious theory of value can be proposed: Complex or Inflecting Marginal Utility. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

Since Boorse [Philos Sci 44(4):542–573, 1977] published his paper “Health as a theoretical concept” one of the most lively debates within philosophy of medicine has been on the question of whether health and disease are in some sense ‘objective’ and ‘value-free’ or ‘subjective’ and ‘value-laden’. Due to the apparent ‘failure’ of pure naturalist, constructivist, or normativist accounts, much in the recent literature has appealed to more conciliatory approaches or so-called ‘hybrid accounts’ of health and disease. A recent paper by Matthewson (...) and Griffiths [J Med Philos 42(4):447–466, 2017], however, may bear the seeds for the revival of purely naturalist approach to health and disease. In this paper, I defend their idea of Biological Normativity against recent criticism by Schwartz [J Med Philos Forum Bioethics Philos Med 42(4):485–502, 2017] and hope to help it flower into a revival of naturalist approaches in the philosophy of medicine. (shrink)

Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge, UK, 2004, pp. 432.

The concept of the Utility Monster offers an influential critique of Utilitarian theories, forcing us to consider different theoretical fixes to escape monstrous implications (Nozick, 1999, pp. 26-53; Kennard, 2015, p. 322). However, many different breeds, a whole bestiary, of Utility Monsters are identifiable, and each breed reveals something slightly different about what we find monstrous. When dissected in depth, we observe that some breeds are probably acceptable, whereas other breeds are indeed monstrous, though perhaps not for the reasons Nozick (...) thought. By breaking these taxonomies down, thus revealing strengths and weaknesses of these different breeds, we may see more clearly how the vicious versions can be dispensed with under reasonable assumptions. (shrink)

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target sets of (...) models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having to (...) deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...) justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

The goal of this programmatic paper is to highlight a close connection between the core problem in the philosophy of medicine, i.e. the concept of health, and the core problem of the philosophy of mind, i.e. the concept of consciousness. I show when we look at these phenomena together, taking the evolutionary perspective of modern state-based behavioural and life-history theory used as the teleonomic tool to Darwinize the agent- and subject-side of organisms, we will be in a better position to (...) make sense of them both as natural phenomena. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its transcendental role.

According to the phenomenal intentionality research program, a state’s intentional content is fixed by its phenomenal character. Defenders of this view have little to say about just how this grounding is accomplished. I argue that without a robust account of representation, the research program promises too little. Unfortunately, most of the well-developed accounts of representation – asymmetric dependence, teleosemantics, and the like – ground representation in external relations such as causation. Such accounts are inconsistent with the core of the phenomenal (...) intentionality program. I argue that, however counter-intuitive it may seem, the best prospect for explaining how phenomenal character represents appeals to resemblance. (shrink)